In the mathematical field of category theory, the product of two categories C and D, denoted C × D and called a product category, is a straightforward extension of the concept of the Cartesian product of two sets. ==Definition== The product category C × D has: ==Relation to other categorical concepts== For small categories, this is the same as t...